Matthias Felleisen - PDFSEARCH.IO - Document Search Engine

Matthias Felleisen
Results: 83

#	Item
41	Well-Shaped Macros Ryan Culpepper, Matthias Felleisen Northeastern University Boston, MAEmail: Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:30 Type theory Transformation languages Procedural programming languages Functional languages Lisp programming language Macro Hygienic macro Scheme C preprocessor Software engineering Computing Computer programming
42	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:21:55 Computer programming Denotational semantics Object-oriented design Type safety Actor model Method overriding Object Type system Modal logic Software engineering Computing Object-oriented programming
43	A Stepper for Scheme Macros Ryan Culpepper Matthias Felleisen Northeastern University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:28 Functional languages Lisp programming language Transformation languages Source code Macro programming languages Hygienic macro Macro Common Lisp Scheme Software engineering Computing Computer programming
44	Typed Scheme: From Scripts to Programs A dissertation presented by Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Type theory Functional languages Data types Racket Programming language Type system Scheme Matthias Felleisen Type inference Software engineering Programming language theory Computing
45	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen Add to Reading List Source URL: samth.github.io Language: English - Date: 2015-04-01 12:20:12 Type theory Functional languages Lambda calculus Data types Lisp programming language Racket System F Type system Typed lambda calculus Software engineering Programming language theory Computing
46	> (for-papers) ; call for papers 2004 Scheme Workshop http://www.cs.indiana.edu/scheme2004 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:52 Year of birth missing Functional programming International Conference on Functional Programming Scheme programming language Matthias Felleisen Cross-platform software Scheme Continuation SIGPLAN Software engineering Computing Software
47	> (for-papers) ; call for papers 2004 Scheme Workshop http://www.cs.indiana.edu/scheme2004 Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:44 Year of birth missing Functional programming International Conference on Functional Programming Scheme programming language Matthias Felleisen Cross-platform software Scheme Continuation SIGPLAN Software engineering Computing Software
48	A Stepper for Scheme Macros Ryan Culpepper Matthias Felleisen Northeastern University Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:15 Functional languages Lisp programming language Transformation languages Source code Macro programming languages Hygienic macro Macro Common Lisp Scheme Software engineering Computing Computer programming
49	Sequence Traces for Object-Oriented Executions Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Object-oriented programming Type theory Data types Programming paradigms Denotational semantics Modal logic Actor model Object-oriented design Method overriding Software engineering Computing Computer programming
50	Future Contracts ∗ Christos Dimoulas Riccardo Pucella Matthias Felleisen Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Monitor Partition Stack Queue Abstract data types Mathematics Concurrency control